constructive set

См. также в других словарях:

• Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… …   Wikipedia

• Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… …   Wikipedia

• Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects …   Wikipedia

• Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… …   Wikipedia

• Constructive trusts in English law — are a form of trust created by the courts primarily where the defendant has dealt with property in an unconscionable manner , but also in other circumstances; the property will be held in constructive trust for the harmed party, obliging the… …   Wikipedia

• Constructive perception — Constructive perception, is the theory of perception in which the perceiver uses sensory information and other sources of information to construct a cognitive understanding of a stimulus. In contrast to this top down approach, there is the bottom …   Wikipedia

• constructive trust — ➔ trust * * * constructive trust UK US noun [C] ► LAW a type of trust (= a legal arrangement in which somebody is given control over another person s money or property) that is set up according to the rules of equity (= a system of law that… …   Financial and business terms

• Constructive research — is perhaps the most common computer science research method. This type of approach demands a form of validation that doesn’t need to be quite as empirically based as in other types of research like exploratory research. Nevertheless the… …   Wikipedia

• Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… …   Wikipedia

• constructive — A constructive proof is one that enables one to give an example, or give a rule for finding an example, of a mathematical object with some property. A nonconstructive proof might result in us knowing that an example exists, but having no idea how …   Philosophy dictionary

• Constructive solid geometry — Venn diagram created with CSG The source is on the description page. Constructive solid geometry (CSG) is a technique used in solid modeling. Constructive solid geometry allows a modeler to create a complex surface or object …   Wikipedia